Futures and promises

Results: 282



#Item
171Logic programming / Actor model / Futures and promises / Inter-process communication / Stable model semantics / Interpretation / FO / Economic model / Witness / Logic / Mathematical logic / Theoretical computer science

Snapshot generation in a constructive object-oriented modeling language Mauro Ferrari1 , Camillo Fiorentini2 , Alberto Momigliano2 and Mario Ornaghi2 1 Dipartimento di Informatica e Comunicazione, Universit`a degli Stud

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2007-03-29 06:17:11
172Logic programming / Actor model / Futures and promises / Inter-process communication / Stable model semantics / Interpretation / FO / Economic model / Witness / Logic / Mathematical logic / Theoretical computer science

Snapshot generation in a constructive object-oriented modeling language Mauro Ferrari1 , Camillo Fiorentini2 , Alberto Momigliano2 and Mario Ornaghi2 1 Dipartimento di Informatica e Comunicazione, Universit`a degli Stud

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2007-03-16 14:24:52
173Computing / EDIFACT / Coupling / Futures and promises / Software engineering / Electronic commerce / Information technology management

Common Platform - Manifest Response Message Format - Version 1.2 CUSRES Customs Response Message Introduction: This Customs Response Message (CUSRES) permits the transfer of data from a customs administration: - to ackn

Add to Reading List

Source URL: www.dgaiec.min-financas.pt

Language: English - Date: 2015-01-13 17:12:15
174Network architecture / ICANN / Internationalized domain name / Domain Name System Security Extensions / Top-level domain / Generic top-level domain / Domain name / Business continuity / Futures and promises / Domain name system / Internet / Computing

Year End Results for FY10 Trimester Goals Color Key: T1 T2 T3 Strategic Plan[removed]Focus Areas Preserve DNS Security and Stability

Add to Reading List

Source URL: charts.icann.org

Language: English - Date: 2014-06-17 19:24:47
175Sleeping Beauty problem / Probability theory / Mathematics / Coin flipping / T1 / Principle of indifference / Futures and promises / Probability / Epistemology / Puzzles

ANALYSIS[removed]JULY 2001 Sleeping Beauty: reply to Elga David Lewis

Add to Reading List

Source URL: fitelson.org

Language: English - Date: 2008-05-21 14:00:52
176Data analysis / Natural Language Toolkit / Natural language processing / Statistical natural language processing / Resolver / Nick Clegg / Futures and promises / Python / Computing / Computer programming / Software engineering

[removed]http://webcache.googleusercontent.com/...homas&cd=1&hl=en&ct=clnk&client=ubuntu #1

Add to Reading List

Source URL: dws.informatik.uni-mannheim.de

Language: English - Date: 2014-09-29 11:41:52
177T2S / Business / T2 / Futures and promises / Settlement / Economics / Money / Securities / Banking / Stock market

What “T2S on T2” is and… is not. Vincent Bonnier Banque de France Frankfurt, 25 June 2007

Add to Reading List

Source URL: www.ecb.europa.eu

Language: English - Date: 2007-07-24 11:46:05
178Computer engineering / Software pipelining / Very long instruction word / Explicitly parallel instruction computing / Instruction scheduling / Instruction-level parallelism / Central processing unit / Multiflow / Futures and promises / Computing / Computer architecture / Compiler optimizations

RETROSPECTIVE: Software Pipelining: An Effective Scheduling Technique for VLIW Machines Monica S. Lam Computer Systems Laboratory

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2003-01-05 22:11:04
179Electronic engineering / Barcodes / Transmission Control Protocol / Local number portability / Local Routing Number / Futures and promises / Caller ID / International Article Number / Signalling System No. 7 / Telephony / Telephone numbers / Identification

TI TIF 6 Global Title Translation: AT&T Canada’s View TI TIF 6 Global Title Translation: AT&T Canada’s View

Add to Reading List

Source URL: www.crtc.gc.ca

Language: English - Date: 2002-02-21 08:19:22
180Network protocols / Inter-process communication / Financial Information eXchange / Market data / Communications protocol / Futures and promises / Data / Computing / Information

ENCORE – Inbound FIXML Developer Reference Guide Proprietary Transmissions Version 3.11 October 2014 Contents

Add to Reading List

Source URL: www.theocc.com

Language: English - Date: 2014-10-24 05:20:09
UPDATE